• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۰۹۵۶ پاسخ غیر تکراری از ۱۰۹۸۱ پاسخ تکراری در مدت زمان ۰,۸۹ ثانیه یافت شد.

10921. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: sponsored by Oregon Center for Advanced Technology Education...]et al[, supported by School of Engineering and Applied Science, Portland State University...]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Many-valued logic,Congresses ، Switching theory

Classification :
QA
9
.
45
.
I58
2000

10922. 4th IFAC/IFIP International Conference on Digital Computer Applications to Process Control, Zurich, Switzerland, March 19-22, 1974

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Edited by M. Mansour and W. Schaufelberger

Library: Library of College of Science University of Tehran (Tehran)

Subject: Process control -- Data processing -- Congresses

Classification :
TS
156
.
8
.
I13
1974

10923. 9th International Conference on Automated Deduction :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: E. Lusk, R. Overbeek (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.

Classification :
QA76
.
9
.
A96
I57
1988

10924. 8th International Conference on Automated Deduction :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Jörg H. Siekmann.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

Classification :

10925. 8th International Conference on Automated Deduction

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Jپ rg H. Siekmann

Library: Vali Asr University Central Library (Kerman)

Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses

Classification :
QA
76
.
9
.
A96
,
I57
1986

10926. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses

Classification :
QA
76
.
9
.
A96
.
I57
1988

10927. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: E. Lusk, R. Overbeek )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
310

10928. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by R.E. Shostak

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L4
v
.
170

10929. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by R.E. Shostak

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
170

10930. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Jorg H. Siekmann

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
230

10931. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Jorg H. Siekmann

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L4
v
.
230

10932. 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems IEA-98-AIE Benicassim, Castellon, Spain, June 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jose Mira, Angel Pasqual del Pobil, Moonis Ali, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Industrial applications -- Congresses ، Artificial intelligence,Industrial applications -- Congresses ، Expert systems )Computer science(,Methodology -- Congresses ، Artificial intelligence

Classification :
QA
76
.
L28
Vol
.
1415-1416

10933. 14th International Conference on Scientific and Statistical Database Management: proceedings: 24-26th July, 2002, Edinburgh, Scotland

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Conference on Scientific and Statistical Database Management)41th :2002 :Edinburgh, Scotland(

Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

Subject: ، Database design- Congresses,، Database management- Congresses,، Science- Data processing- Congresses,، Statistics- Data processing- Congresses

Classification :
QA
76
.
9
.
D3
I583
2002

10934. 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Francisco Martínez Álvarez, [and 4 others], editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.

Classification :
Q334
.
S63
2019

10935. 9th International Conference on Very Large Data Bases : Florence, Italy, October 31-November 2, 1983

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by M. Schkolnick, C. Thanos

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Database management Congresses, Databases Congresses, Data structures )Computer science( Congresses

Classification :
QA
76
.
9
.
D3
I5589
1983

10936. 11th International Congress on Catalysis, 40th anniversar

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / editors, Joe W. Hightower ... [et al.]

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Catalysis--Congresses

Classification :
QD
,
505

10937. 27th International Meshing Roundtable

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, Xevi Roca and Adrien Loseille

Library: Library of College of Science University of Tehran (Tehran)

Subject: Numerical grid generation (Numerical analysis) -- Congresses.

Classification :
QA377

10938. 11th International Symposium on Process Systems Engineering - PSE2012

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Chemical engineering-- Data processing, Congresses.

Classification :

10939. 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Mao, Menorca, Spain, June 3-6, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jose Mira, Jose R. Alvarez )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Neural networks )Neurobiology(,Congresses ، Neural networks )Computer science(,Congresses ، Computational neuroscience

Classification :
QA
76
.
L28
Vol
.
2686-2687

10940. 6th International Work-Conference on Artificial and Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jose Mira, Alberto Prieto )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Neural networks )Neurobiology(,Congresses ، Neural networks )Computer science(,Congresses ، Connectionism,Congresses ، Artificial intelligence,Congresses ، Cognitive neuroscience

Classification :
QA
76
.
L28
Vol
.
2084-2085
  • »
  • 548
  • 547
  • 546
  • 545
  • 544
  • 543
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival